<!DOCTYPE html>
<html>

<head></head>

<body>
    <script type="text/javascript" src="devtools.js"></script>
</body>

</html>